make git-annex_$version tags in the downloads repo

Note the use of git tag -f, this way if it takes several tries to get a
release published, it will use the final one for the tag.

Tags have been retrospectively added for past releases, using this:

for v in $(git log --oneline --grep="publishing git-annex "| sed 's/ publishing git-annex / /'); do foo=$(echo "$v" | sed 's/ .*//'); bar=$(echo "$v" | sed 's/.* //');  git tag git-annex_"$bar" "$foo" ; done

diff --git a/Build/DistributionUpdate.hs b/Build/DistributionUpdate.hs
index b7223fdfa389566d83806679577328e637e1d715..bf3a1357a90a038178ab1eb1dc60b387f97be05d 100644 (file)
--- a/Build/DistributionUpdate.hs
+++ b/Build/DistributionUpdate.hs
@@ -158,6 +158,11 @@ makeinfos updated changelogversion = do
                , Param "-m"
                , Param $ "updated info files for git-annex " ++ descversion
                ]
+       void $ inRepo $ runBool
+               [ Param "tag"
+               , Param "-f"
+               , Param ("git-annex_" ++ changelogversion)
+               ]
        void $ inRepo $ runBool
                [ Param "annex"
                , Param "move"
@@ -169,6 +174,11 @@ makeinfos updated changelogversion = do
                [ Param "annex"
                , Param "sync"
                ]
+       void $ inRepo $ runBool
+               [ Param "git"
+               , Param "push"
+               , Param "--tags"
+               ]
        
        -- Check for out of date info files.
        infos <- liftIO $ filter (literalOsPath ".info" `OS.isSuffixOf`)